Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lee masThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Lee masThis book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent ...
Lee masThis volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software ...
Lee masThis book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held ...
Lee masThis book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...
Lee masThis book constitutes the refereed proceedings of the 15th International Conference on Analytical and Stochastic Modeling ...
Lee masThis book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications ...
Lee masThis book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Lee masThis book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Lee masThis book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
Lee masThis book constitutes the proceedings of the 17th International Conference on Compiler Construction, CC 2008. It covers analysis ...
Lee masThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lee masThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lee masThis book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
Lee masThe volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Lee masThis book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and ...
Lee masThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Lee masThe volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
Lee masThis book constitutes the refereed post-workshop proceedings of the International Workshop on Coordination, Organization, ...
Lee mas